Blar i HVL Open på forfatter "Prinz, Andreas"
-
Model-based verification of the DMAMAC protocol for real-time process control
Kumar Somappa, Admar Ajith; Prinz, Andreas; Kristensen, Lars Michael (Peer reviewed; Journal article, 2015)Medium Access Control (MAC) protocols are responsible for managing radio communication that constitute the main energy consumer in wireless sensor-actuator networks. The Dual-Mode Adaptive MAC (DMAMAC) protocol is a recently ...